cross product identity proof